Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
761	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:51 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
762	Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:15:45 Electronic engineering Logic in computer science Software testing Software verification Static program analysis Model checking Formal verification Programming tool Software bug Formal methods Software development Theoretical computer science
763	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
764	Psychological Bulletin 2012, Vol. 138, No. 3, 415– 422 © 2012 American Psychological Association/$12.00 DOI: a0026884 Add to Reading List Source URL: www.yangzhiping.com Language: English - Date: 2015-01-28 00:11:16 Bayesian inference Bayesian probability Statistical inference Concept learning Bayesian network Graphical model Probabilistic logic Cognitive science Bayesian brain Statistics Bayesian statistics Bayesian cognitive science
765	Identifying Content and Levels of Representation in Scientific Data Karen M. Wickett, Simone Sacchi, David Dubin, and Allen H. Renear {wickett2, sacchi1, ddubin, renear}@illinois.edu Center for Informatics Research in Sc Add to Reading List Source URL: asis.org Language: English - Date: 2014-07-19 19:18:40 Information Bioinformatics Interoperability Semantic Web Mathematical logic Darwin Core Archive Data model Metadata Proposition Knowledge representation Science Logic
766	Tarski Lectures: Compact spaces, definability, and measures in model theory Anand Pillay University of Leeds Berkeley, April 6th, 8th, and 10th, 2009 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:21 Metalogic Structure Compactness theorem O-minimal theory Type First-order logic Stable theory Beth definability Definable real number Model theory Mathematical logic Logic
767	Int. J. Systems Sci., 1970, vol. 1, No. 2, EVERY GOOD REGULATOR OF A SYSTEM MUST BE A MODEL OF THAT SYSTEM1 Roger C. Conant Department of Information Engineering, University of Illinois, Box 4348, Chicago, Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:20:11 Entropy Information Linear temporal logic Μ operator Information theory Symbol Constructible universe
768	Logic and the Methodology of Science June 2004 Preliminary Exam August 23, a) Outline a proof that the theory of rings is not decidable. (b) Show that the set V of all valid formulae in the language of rings is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Metalogic Model theory Symbol Peano axioms Constructible universe Lovász number Logic Mathematical logic Mathematics
769	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:45 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
770	FOUR YEARS OF COGNITIVELY BASED ASSESSMENT OF, FOR, AND AS LEARNING (CBAL): LEARNING ABOUT THROUGHCOURSE ASSESSMENT (TCA) John P. Sabatini, Randy Elliot Bennett, and Paul Deane Educational Testing Service Add to Reading List Source URL: www.k12center.org Language: English - Date: 2015-05-16 06:51:05 Educational psychology Standards-based education Formative assessment Summative assessment E-assessment E-learning STAR Logic model Education Evaluation Evaluation methods

UPDATE